1. Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
پدیدآورنده : edited by M. M. Richter ... ]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity,Congresses ، Proof theory
رده :
QA
9
.
59
.
C65
1983
2. Control and optimization with differential-algebraic constraints /
پدیدآورنده : edited by Lorenz T. Biegler, Stephen L. Campbell, Volker Mehrmann
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Control theory,Differential-algebraic equations,Mathematical optimization
رده :
QA372
.
5
.
C66
2012
3. Documents and the History of the Early Islamic World
پدیدآورنده : \ edited by Alexander T. Schubert, Petra M. Sijpesteijn.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Manuscripts, Arabic (papyri),نسخه‌های خطی عربی (پاپیروس),a03,a03
رده :
PJA2526
.
I58
2006
4. Evidence-based gastroenterology and child health /
پدیدآورنده : edited by John W.D. McDonald, Andrew K. Burroughs, Brian G. Feagan
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Evidence-Based Medicine-- methods,Gastrointestinal Diseases-- therapy,Liver Diseases-- therapy
رده :
RC816
.
E85
2004
5. Handbook of discrete and computational geometry
پدیدآورنده : / edited by Jacob E. Goodman and Joseph O'Rourke
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Combinatorial geometry , Handbooks, manuals, etc,Geometry , Data processing , Handbooks, manuals, etc
رده :
E-BOOK
6. Heat shock proteins in neural cells /[edited by] Christiane Richter-Landsberg.
پدیدآورنده :
کتابخانه: کتابخانه مرکز تحقیقات بیوشیمی- بیوفیزیک دانشگاه تهران (طهران)
موضوع : Heat shock proteins.,Nerve tissue proteins.,Neurons.,Neuroglia.,Heat-Shock Proteins.,Neurons--physiology.,Neuroglia--physiology.
رده :
QP
552
.
H43
H435
2007
7. Neural stem cells
پدیدآورنده : / edited by Leslie P. Weiner
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Neurons--Laboratory manuals,Stem cells--Laboratory manuals,Neurons--cytology--Laboratory Manuals,Stem Cells--cytology--Laboratory Manuals,Stem Cells--physiology--Laboratory Manuals,Cytological Techniques
رده :
QP357
.
N473
2008
8. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
9. Proceedings of the lOgic Colloquium held in Aachen, Julyu 18-23, 1983
پدیدآورنده : Logic Colloquium )3891: Aachen, Germany(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathemtical--Congresses
رده :
QA
3
.
L28
no
.
1103
,
1104
10. Tropical dermatology
پدیدآورنده : [edited by]& Stephen K. Tyring, Omar Lupi, Ulrich R. Hengge
کتابخانه: كتابخانه دانشگاه علوم پزشكي جندي شاپور (خوزستان)
موضوع : Skin Diseases, Infectious,Tropical Medicine,Bacterial Infections
رده :
WR
,
220
,
T856
,
2006
